Verification, Model Checking, and Abstract Interpretation pdf epub mobi txt 電子書 搜索结果
Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Verification, Model Checking, and Abstract Interpretation
SPIN Model Checking and Software Verification
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio
Verification
Verification Methodology Manual for SystemVerilog
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Reactive Systems
Verification Methodology Manual for Low Power
Verification of Object-Oriented Software
Verification and Validation of 3D Free-Surface Flow Models
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification and Validation for Quality of UML 2.0 Models
Verification， Validation And Testing in Software Engineering
Verification and Control of Hybrid Systems
Verification Techniques for System-Level Design
Verification in all its Aspects including the Role of the UNited Nations in the Field of Verification
Verification and Synthesis of Hybrid Systems
Verification of the Biological and Toxin Weapons Convention (NATO Science Partnership Sub-Series
Functional Verification of Programmable Embedded Architectures
Design Verification with e (Prentice Hall Modern Semiconductor Design Series' Sub Series
Hardware Verification with C++
Co-verification of Hardware and Software for ARM SoC Design
Software Verification and Validation for Practitioners and Managers, Second Edition
La vérification
Software Verification and Analysis
Runtime Verification
